Totally Geodesic Submanifolds of Teichmüller Space

Main results. Let Tg,n andMg,n denote the Teichmüller and moduli space respectively of genus g Riemann surfaces with n marked points. The Teichmüller metric on these spaces is a natural Finsler metric that quantifies the failure of two different Riemann surfaces to be conformally equivalent. It is equal to the Kobayashi metric [Roy74], and hence reflects the intrinsic complex geometry of these spaces. There is a unique holomorphic and isometric embedding from the hyperbolic plane to Tg,n whose image passes through any two given points. The images of such maps, called Teichmüller disks or complex geodesics, are much studied in relation to the geometry and dynamics of Riemann surfaces and their moduli spaces. A complex submanifold of Tg,n is called totally geodesic if it contains a complex geodesic through any two of its points, and a subvariety of Mg is called totally geodesic if a component of its preimage in Tg,n is totally geodesic. Totally geodesic submanifolds of dimension 1 are exactly the complex geodesics. Almost every complex geodesic in Tg,n has dense image in Mg,n [Mas82, Vee82]. We show that higher dimensional totally geodesic submanifolds are much more rigid.